exactness theorem

正合性定理